1

HOW A SEMANTICS FOR TONK SHOULD BE

Year:
2015
Language:
english
File:
PDF, 141 KB
english, 2015
2

Naive Modus Ponens and Failure of Transitivity

Year:
2016
Language:
english
File:
PDF, 160 KB
english, 2016
3

Infinitary Contraction-Free Revenge

Year:
2018
Language:
english
File:
PDF, 592 KB
english, 2018
4

Non-classical Elegance for Sequent Calculus Enthusiasts

Year:
2017
Language:
english
File:
PDF, 579 KB
english, 2017
5

A NOTE ON THE CUT-ELIMINATION PROOF IN “TRUTH WITHOUT CONTRA(DI)CTION”

Year:
2019
Language:
english
File:
PDF, 341 KB
english, 2019
6

Herzberger’s Limit Rule with Labelled Sequent Calculus

Year:
2019
Language:
english
File:
PDF, 559 KB
english, 2019
7

Herzberger’s Limit Rule with Labelled Sequent Calculus

Year:
2019
File:
PDF, 559 KB
2019